M. Rybakov, B. Shkatov; 2023; "Complexity Function and Complexity of Validity of Modal and Superintuitionistic Propositional Logics"